Anil Gupta's slightly revised 1977 Pittsburgh doctoral dissertation is not a linguistic investigation of common nouns. There is no thorough attempt to organize and explain data about common nouns in natural languages. Gupta's goal is to develop and to defend formal modal languages and logics useful for the representation and defense of metaphysical theses on topics such as the structure of individuals, sorts or kinds, substances, and essences. He does, however, develop the special features of his formal syntax and semantics (...) on the basis of two theses about common nouns in our natural languages. Geach's work suggests the first thesis that properly expressed identity statements are of the form: b is the same K as c, where K is a common noun. Because the individual variables bound by quantifiers must be capable of being terms of an identity relation, this first thesis leads Gupta to require quantifiers to link individual variables with common noun expressions. Thus in his formal languages we can only express: "every K is _____" or "some K is _____" where K is syntactically part of the quantifier. We can call this "sortal quantification." Hence, "Every K is P" and "Some K is P" are not even expressible as "If anything is K then it is P" or "Something is K and P," let alone equivalent to such ill-formed expressions in his languages. Gupta's book is a useful introduction to the syntax and semantics for languages with this non-standard sortal quantification for those already familiar with the syntax and formal semantics of first order extensional and modal languages with standard quantifiers. Those unfamiliar with standard formal languages and model structure semantics will find Gupta's provocative metaphysical theories and conjectures inaccessible. (shrink)

We extend results of Harizanov and Barker. For a relation R on a recursive structure /oA, we give conditions guaranteeing that the image of R in a recursive copy of /oA can be made to have arbitrary ∑α0 degree over Δα0. We give stronger conditions under which the image of R can be made ∑α0 degree as well. The degrees over Δα0 can be replaced by certain more general classes. We also generalize the Friedberg-Muchnik Theorem, giving conditions on a pair (...) of relations R and S under which the images of R and S can be made ∑α0 and independent over Δα0 in a recursive copy of /oA. (shrink)

Companies do have ethical responsibility and are not protected by limited liability from the consequences of their actions. A company's record and the preception of its ethics affect its reputation and ensure long term success or failure.The financial community has a history of placing moral considerations above legal or opportunistic expedients. But we are often exposed to moral dangers and the dangers of contamination are increasing. Deregulation and the technological revolution are sharpening ethical conflicts.

In this paper I would like to explore Sellars' answers to these general epistemological questions in order to get clear about the sense in which he can be said to be in the empiricist tradition broadly construed and to ascertain what resources he has available to demarcate science from other (rationally acceptable or unacceptable) forms of inquiry. My contention will be that to the degree that one moves away from the notion of basic empirical proposition in the strong sense it (...) becomes increasingly difficult to draw the distinction between empiricism and other general epistemological traditions and increasingly difficult to distinguish science frow other forms of inquiry. Moreover, this latter difficulty tends to render vacuous the claims of scientific realism. (shrink)

In this paper a semantics for dynamic predicate logic is developed that uses sequence valued assignments. This semantics is compared with the usual relational semantics for dynamic predicate logic: it is shown that the most important intuitions of the usual semantics are preserved. Then it is shown that the refined semantics reflects out intuitions about information growth. Some other issues in dynamic semantics are formulated and discussed in terms of the new sequence semantics.

The present volume contains Part Four, "The Great Shift," of Susanne Langer’s projected six-part magnum opus entitled, Mind: An Essay on Human Feeling. The first volume dealt with three parts: "Problems and Principles," "The Import of Art," and "Natura Naturans;" Volume II rests squarely on these three foundational parts. The balance of the work will be concerned with "The Moral Structure," and with "Knowledge and Truth." In this reviewer’s opinion, Professor Langer’s essay is easily the most significant theory of mind (...) yet developed in contemporary Anglo-American philosophy. The central task of her essay is to establish the total qualitative difference that divides human from animal mentality by showing that the nature and origin of that difference is explicable in terms of a continuous course of biological development. "The great shift" to human being as a mode of life typified by all that we understand as culture is accomplished, according to the conceptual framework extended throughout Volume II of the work, without recourse to metaphysical assumptions of nonzoological factors. By carefully locating a vast amount of exact psychobiological information in a conceptual structure that extends scientific definitions by modification, she makes the biological concept of human mentality adequate to the extraordinary reality it is intended to make comprehensible. Through the incorporation of highly sophisticated detail, she investigates repertoire and instinct; animal acts and ambients; animal values; interpretation of animal acts; the specialization of man; symbols and the evaluation of mind; and, finally, symbols and the human world. It is difficult to imagine that a reader could find fault with Susanne Langer’s method, because she never expands her conceptual structure by metaphorical extension, but only by modifying definitions in scientific terms so as to comprehend domains wider than those conventionally assigned to the sciences themselves. Her study, however, is not only eminently adequate methodologically, it is immensely satisfying in helping us understand that the uniqueness of human being can be fully articulated and intellectually sustained without resorting to a vitalistic discontinuity of any order. If, as Susanne Langer herself contends, the value of a philosophical outlook rests ultimately on its "serviceability," then this masterwork will serve all manner of investigators for a long time to come.—C.F.B. (shrink)